Suchen in Texten

• Ein Alphabet ist eine endliche Menge von Symbolen. • Wörterüber Σ sind endliche Folgen von Symbolen aus Σ. Wörter werden manchmal 0 und manchmal von 1 an indiziert, d.h. w = w 0 · · · w n−1 bzw. w = w 1 · · · w n , je nachdem, was im Kontext praktischer ist. Bsp.: Σ = {a, b}, dann ist w = abba ein Wortüber Σ. • Die Länge eines Wortes w wird mit |w| bezeichnet und entspricht der Anzahl der Symbole in w. • Das Wort der Länge 0 heißt leeres Wort und wird mit ε bezeichnet. • Die Menge aller Wörterüber Σ wird mit Σ * bezeichnet. Die Menge aller Wörter der Länge größer gleich 1 ¨ uber Σ wird mit Σ + := Σ * \{ε} bezeichnet. Die Menge aller Wörterüber Σ der Länge k wird mit Σ k ⊆ Σ * bezeichnet.